$\forall$${\it the\_w}$:World, $l$:IdLnk, ${\it mss}$:(Msg List). onlnk($l$;${\it mss}$) $\in$ (Msg List)